Add FileCache exit back from r44801

diff --git a/includes/Wiki.php b/includes/Wiki.php
index 9feeb08..c5f745d 100644 (file)
--- a/includes/Wiki.php
+++ b/includes/Wiki.php
@@ -235,7 +235,8 @@ class MediaWiki {
                                                $article->viewUpdates();
                                        }
                                        wfProfileOut( __METHOD__ );
-                                       return true;
+                                       $this->restInPeace();
+                                       exit;
                                }
                        }
                        /* No match to special cases */